Istituto per La Ricerca Scientifica E Tecnologica Distributed First Order Logics Distributed First Order Logics

نویسنده

Chiara Ghidini

چکیده

limited distribution notice This report has been submitted for publication outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Report for early dissemination of its contents. In view of thetransfer of copyright to the outside publisher, its distribution outside of ITC prior to publication should be limited to peer communications and speciic requests. After outside publication, requests should be lled only by reprints or legally obtained copies of the article. Abstract In distributed knowledge representation and reasoning systems, knowledge is represented by a set of heterogeneous subsystems, each of which autonomously represents and reasons about a certain subset of the whole knowledge. These subsystems are not completely independent on one another as the same piece of knowledge might be represented (from diierent points of view) in diierent subsystems. In this paper we provide a formalization of the relation between the knowledge contained in diierent subsystems. We deene a formal logic, called Distributed First Order Logic (DFOL), which models relations between objects and relations between formulae of diierent subsystems. We provide a calculus (based on natural deduction) to reason about DFOL. DFOL syntax is composed of a family of rst order languages, each of which represents a piece of the global knowledge. DFOL semantics is composed of a family of set of rst order interpretations on a domain, one for each DFOL language, and a family of relations between the domains of each interpretation. DFOL calculus is composed of a set of rst order natural deduction systems connected by a set of rules which allow to export theorems among diierent theories. We also provide a list of representational requirements and structural requirements for DFOL to be adequate and we show that DFOL satisses them.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه